high order predicate calculus
高阶述词演算
热门查询
- alabaster n. 雪花石膏 n. (Alabaster)人名；(英)阿拉巴斯特 adj. 雪花石膏制的；光洁雪白的
- soil n. 土地；土壤；国家；粪便；务农；温床 vt. 弄脏；污辱 vi. 变脏
- Pugin n. (Pugin)人名；(英、俄、芬)皮金；(法)皮然
- peapod n. 豆荚
- matter n. 物质；事件 vi. 有关系；要紧 n. (Matter)人名；(英、法)马特；(西)马特尔
- DCF [医] 直接离心浮选[法]
- GATWICK [地名] [英国] 盖特威克
- chicane n. 诡计 vt. 诈骗 vi. 诈骗
- ensnare vt. 诱捕；诱入陷阱；进入罗网
- hysteria n. 癔病，歇斯底里；不正常的兴奋
- arteriovenous adj. 动静脉的
- social services n. 社会福利制度（由当地政府组织，向困难者提供帮助的制度） [网络] 社会服务；社会服务业；社会服务方向
- serf n. 农奴；奴隶；被压迫者
- empathize vt. 移情；神会
- lethal adj. 致命的，致死的 n. 致死因子
- overhanging n. 悬伸，突出；外悬 v. 悬于…之上（overhang的ing形式） adj. 悬伸的
- recidivism n. 再犯，累犯
- yup int. 是的（等于yes）
- concert n. 音乐会；一致；和谐 adj. 音乐会用的；在音乐会上演出的 vt. 使协调；协同安排 vi. 协调；协力
- conduce vi. 导致；有益，有贡献于
考试词汇表
- fusion reactor material
- fusion splicing machine
- fusion-fission reaction
- fusion-pseudopolyploidy
- fusome (hirschler 1948)
- fusospirochetal disease
- future advance mortgage
- future service payments
- future source of energy
- future surrounding case
- futures trading adviser
- futurology of education
- fuzzy Cartesian product
- fuzzy classifier method
- fuzzy control algorithm
- fuzzy game of economics
- fuzzy grouping analysis
- fuzzy identity function
- fuzzy identity morphism
- fuzzy image recognition
